TSFC: A Structure-Preserving Form Compiler
نویسندگان
چکیده
منابع مشابه
TSFC: a structure-preserving form compiler
A form compiler takes a high-level description of the weak form of partial differential equations and produces low-level code that carries out the finite element assembly. In this paper we present the Two-Stage Form Compiler (TSFC), a new form compiler with the main motivation to maintain the structure of the input expression as long as possible. This facilitates the application of optimization...
متن کاملEla Structure of the Group Preserving a Bilinear Form∗
The group of linear automorphisms preserving an arbitrary bilinear form is studied.
متن کاملnfn2dlp: A Normal Form Nested Programs Compiler
Normal Form Nested (NFN) programs have recently been introduced in order to allow for enriching the syntax of disjunctive logic programs under the answer sets semantics. In particular, heads of rules can be disjunctions of conjunctions, while bodies can be conjunctions of disjunctions. Different to many other proposals of this kind, NFN programs may contain variables, and a notion of safety has...
متن کاملZQL: A Compiler for Privacy-Preserving Data Processing
ZQL is a query language for expressing simple computations on private data. Its compiler produces code to certify data, perform client-side computations, and verify the correctness of their results. Under the hood, it synthesizes zero-knowledge protocols that guarantee both integrity of the query results and privacy for all other data. We present the ZQL language, its compilation scheme down to...
متن کاملPrecision in Practice: A Type-Preserving JavaTM Compiler∗
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, supporting a wide range of source language features is awkward. Further compilation and optimization, necessary for e?ciency, must be trusted. We describe the design and implementation of a fully type-preserving compiler for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM Journal on Scientific Computing
سال: 2018
ISSN: 1064-8275,1095-7197
DOI: 10.1137/17m1130642